[INFO] cloning repository https://github.com/nnunley/kyanite
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nnunley/kyanite" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 497daf79ea5ea93661aad54b0b194feeb37178c6
[INFO] testing nnunley/kyanite against try#28f95933dc0727396c07b48d0a8cb5211b7fb472 for pr-154065-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnnunley%2Fkyanite" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/nnunley/kyanite
[INFO] finished tweaking git repo https://github.com/nnunley/kyanite
[INFO] tweaked toml for git repo https://github.com/nnunley/kyanite written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/nnunley/kyanite on toolchain 28f95933dc0727396c07b48d0a8cb5211b7fb472
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/nnunley/kyanite already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cbfd530912add2ffcc296875a7a447836c45b59f983c6aee142fdb2ed0f22263
[INFO] running `Command { std: "docker" "start" "-a" "cbfd530912add2ffcc296875a7a447836c45b59f983c6aee142fdb2ed0f22263", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cbfd530912add2ffcc296875a7a447836c45b59f983c6aee142fdb2ed0f22263", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cbfd530912add2ffcc296875a7a447836c45b59f983c6aee142fdb2ed0f22263", kill_on_drop: false }`
[INFO] [stdout] cbfd530912add2ffcc296875a7a447836c45b59f983c6aee142fdb2ed0f22263
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f0a260f33eb17000d6b7393de1e92d709ed88dba6347670cf371b0f029335b9d
[INFO] running `Command { std: "docker" "start" "-a" "f0a260f33eb17000d6b7393de1e92d709ed88dba6347670cf371b0f029335b9d", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling openssl v0.10.76
[INFO] [stderr]    Compiling foreign-types-shared v0.1.1
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling enum_dispatch v0.3.13
[INFO] [stderr]    Compiling foreign-types v0.3.2
[INFO] [stderr]    Compiling kyanite-core v0.1.0 (/opt/rustwide/workdir/kyanite-core)
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling http-body-util v0.1.3
[INFO] [stderr]    Compiling rustls-pki-types v1.14.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling kyanite-sat v0.1.0 (/opt/rustwide/workdir/kyanite-sat)
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling xattr v1.6.1
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling mio v1.1.1
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling filetime v0.2.27
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling tar v0.4.44
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling kyanite-theories v0.1.0 (/opt/rustwide/workdir/kyanite-theories)
[INFO] [stderr]    Compiling openssl-sys v0.9.112
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling h2 v0.4.13
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling tokio-native-tls v0.3.1
[INFO] [stderr]    Compiling hyper v1.8.1
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-tls v0.6.0
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling kyanite-bench v0.1.0 (/opt/rustwide/workdir/kyanite-bench)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stdout]      |
[INFO] [stdout] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stdout]      |
[INFO] [stdout] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WorkerMessage` is never used
[INFO] [stdout]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stdout]     |
[INFO] [stdout] 881 | enum WorkerMessage {
[INFO] [stdout]     |      ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `load_goldens` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1104:4
[INFO] [stdout]      |
[INFO] [stdout] 1104 | fn load_goldens(path: &Path) -> Result<Vec<BenchmarkBudgetRule>, String> {
[INFO] [stdout]      |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stdout]      |
[INFO] [stdout] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stdout]      |
[INFO] [stdout] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 43.15s
[INFO] running `Command { std: "docker" "inspect" "f0a260f33eb17000d6b7393de1e92d709ed88dba6347670cf371b0f029335b9d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f0a260f33eb17000d6b7393de1e92d709ed88dba6347670cf371b0f029335b9d", kill_on_drop: false }`
[INFO] [stdout] f0a260f33eb17000d6b7393de1e92d709ed88dba6347670cf371b0f029335b9d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ef8c503414c5a0e77632a485061428ed1eb2872f6c25b52743d3dd12db44b8d6
[INFO] running `Command { std: "docker" "start" "-a" "ef8c503414c5a0e77632a485061428ed1eb2872f6c25b52743d3dd12db44b8d6", kill_on_drop: false }`
[INFO] [stderr]    Compiling kyanite-solver v0.1.0 (/opt/rustwide/workdir/kyanite-solver)
[INFO] [stderr]    Compiling kyanite-cli v0.1.0 (/opt/rustwide/workdir/kyanite-cli)
[INFO] [stderr]    Compiling kyanite-theories v0.1.0 (/opt/rustwide/workdir/kyanite-theories)
[INFO] [stderr]    Compiling kyanite-sat v0.1.0 (/opt/rustwide/workdir/kyanite-sat)
[INFO] [stderr]    Compiling kyanite-core v0.1.0 (/opt/rustwide/workdir/kyanite-core)
[INFO] [stderr]    Compiling kyanite-bench v0.1.0 (/opt/rustwide/workdir/kyanite-bench)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stdout]      |
[INFO] [stdout] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stdout]      |
[INFO] [stdout] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stdout]      |                 ----^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `WorkerMessage` is never used
[INFO] [stdout]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stdout]     |
[INFO] [stdout] 881 | enum WorkerMessage {
[INFO] [stdout]     |      ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stdout]      |
[INFO] [stdout] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stdout]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stdout]      |
[INFO] [stdout] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 9.21s
[INFO] running `Command { std: "docker" "inspect" "ef8c503414c5a0e77632a485061428ed1eb2872f6c25b52743d3dd12db44b8d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef8c503414c5a0e77632a485061428ed1eb2872f6c25b52743d3dd12db44b8d6", kill_on_drop: false }`
[INFO] [stdout] ef8c503414c5a0e77632a485061428ed1eb2872f6c25b52743d3dd12db44b8d6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] bcce145b772a691c2de585b5e032fed00eab4be58c201bdd068f8adb149c49ad
[INFO] running `Command { std: "docker" "start" "-a" "bcce145b772a691c2de585b5e032fed00eab4be58c201bdd068f8adb149c49ad", kill_on_drop: false }`
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> kyanite-bench/src/main.rs:2896:17
[INFO] [stderr]      |
[INFO] [stderr] 2896 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> kyanite-bench/src/main.rs:3009:17
[INFO] [stderr]      |
[INFO] [stderr] 3009 |             let mut br = run_benchmark_with_solver_and_progress(
[INFO] [stderr]      |                 ----^^
[INFO] [stderr]      |                 |
[INFO] [stderr]      |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: enum `WorkerMessage` is never used
[INFO] [stderr]    --> kyanite-bench/src/main.rs:881:6
[INFO] [stderr]     |
[INFO] [stderr] 881 | enum WorkerMessage {
[INFO] [stderr]     |      ^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `run_benchmark_from_str` is never used
[INFO] [stderr]     --> kyanite-bench/src/main.rs:1442:4
[INFO] [stderr]      |
[INFO] [stderr] 1442 | fn run_benchmark_from_str(name: &str, content: &str, timeout_secs: u64) -> BenchmarkResult {
[INFO] [stderr]      |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `run_benchmark_from_str_with_progress` is never used
[INFO] [stderr]     --> kyanite-bench/src/main.rs:1452:4
[INFO] [stderr]      |
[INFO] [stderr] 1452 | fn run_benchmark_from_str_with_progress<F>(
[INFO] [stderr]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `kyanite-bench` (bin "kyanite-bench" test) generated 5 warnings (run `cargo fix --bin "kyanite-bench" -p kyanite-bench --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.31s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_bench-d5269133f0dfdb8f)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test tests::archive_index_selects_ordinals_after_filter_and_offset ... ok
[INFO] [stdout] test tests::budget_exceeded_ignores_within_budget_progress ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_count_thresholds ... ok
[INFO] [stdout] test tests::budget_exceeded_reports_elapsed_thresholds ... ok
[INFO] [stdout] test tests::analyze_jsonl_summarizes_finished_and_progress_records ... ok
[INFO] [stdout] test tests::derive_goldens_from_jsonl_keeps_best_correct_run_per_benchmark ... ok
[INFO] [stdout] test tests::load_budget_rules_parses_json_file ... ok
[INFO] [stdout] test tests::path_filter_matches_substrings ... ok
[INFO] [stdout] test tests::offset_and_limit_apply_after_filtering ... ok
[INFO] [stdout] test tests::local_manifest_captures_platform_and_hashes ... ok
[INFO] [stdout] test tests::load_goldens_converts_entries_to_budget_rules ... ok
[INFO] [stdout] test tests::archive_entries_honor_filter_and_offset ... ok
[INFO] [stdout] test tests::resolve_budget_uses_first_matching_rule ... ok
[INFO] [stdout] test tests::archive_index_is_saved_and_loaded_for_matching_archive ... ok
[INFO] [stdout] test tests::bench_progress_probe_preserves_native_simplex_pivot_stats ... ok
[INFO] [stdout] test tests::jsonl_writer_emits_run_and_benchmark_records ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kyanite_cli-a672fec234030ace)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 70 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_core-b0a0f10acd180711)
[INFO] [stdout] test manager::tests::hash_consing_compound ... ok
[INFO] [stdout] test manager::tests::sorts_propagate ... ok
[INFO] [stdout] test manager::tests::uninterpreted_function ... ok
[INFO] [stdout] test rlimit::tests::op_limit_0_exceeded_at_first_tick_boundary ... ok
[INFO] [stdout] test manager::tests::hash_consing ... ok
[INFO] [stdout] test rlimit::tests::reset_clears_count ... ok
[INFO] [stdout] test rlimit::tests::op_limit_1_exceeded_after_first_tick ... ok
[INFO] [stdout] test rlimit::tests::saturating_add_prevents_overflow ... ok
[INFO] [stdout] test rlimit::tests::tick_increments_count ... ok
[INFO] [stdout] test simplify::tests::add_constants ... ok
[INFO] [stdout] test simplify::tests::add_partial_fold ... ok
[INFO] [stdout] test simplify::tests::add_zero_identity ... ok
[INFO] [stdout] test rlimit::tests::is_exceeded_at_limit ... ok
[INFO] [stdout] test simplify::tests::add_combines_like_terms ... ok
[INFO] [stdout] test simplify::tests::and_all_true ... ok
[INFO] [stdout] test simplify::tests::and_with_false ... ok
[INFO] [stdout] test simplify::tests::and_with_true ... ok
[INFO] [stdout] test simplify::tests::div_constants ... ok
[INFO] [stdout] test simplify::tests::div_by_zero_unchanged ... ok
[INFO] [stdout] test simplify::tests::implies_a_true ... ok
[INFO] [stdout] test simplify::tests::add_zero_left ... ok
[INFO] [stdout] test simplify::tests::eq_same_term ... ok
[INFO] [stdout] test simplify::tests::ite_true_condition ... ok
[INFO] [stdout] test simplify::tests::le_constants_equal ... ok
[INFO] [stdout] test simplify::tests::ge_constants ... ok
[INFO] [stdout] test simplify::tests::le_normalizes_linear_terms_across_both_sides ... ok
[INFO] [stdout] test simplify::tests::implies_false_b ... ok
[INFO] [stdout] test simplify::tests::le_cancels_identical_terms ... ok
[INFO] [stdout] test simplify::tests::lt_constants_true ... ok
[INFO] [stdout] test simplify::tests::gt_constants ... ok
[INFO] [stdout] test simplify::tests::ite_false_condition ... ok
[INFO] [stdout] test simplify::tests::double_negation ... ok
[INFO] [stdout] test simplify::tests::memoization_preserves_results ... ok
[INFO] [stdout] test simplify::tests::mul_constants ... ok
[INFO] [stdout] test simplify::tests::implies_true_b ... ok
[INFO] [stdout] test simplify::tests::mod_constants ... ok
[INFO] [stdout] test simplify::tests::lt_constants_false ... ok
[INFO] [stdout] test simplify::tests::neg_neg_cancel ... ok
[INFO] [stdout] test simplify::tests::mul_one_identity ... ok
[INFO] [stdout] test simplify::tests::neg_constant ... ok
[INFO] [stdout] test simplify::tests::mul_zero_absorb ... ok
[INFO] [stdout] test simplify::tests::not_false ... ok
[INFO] [stdout] test simplify::tests::nested_not_not_comparison ... ok
[INFO] [stdout] test simplify::tests::not_true ... ok
[INFO] [stdout] test simplify::tests::or_all_false ... ok
[INFO] [stdout] test simplify::tests::or_with_false ... ok
[INFO] [stdout] test simplify::tests::or_with_true ... ok
[INFO] [stdout] test simplify::tests::sub_constants ... ok
[INFO] [stdout] test simplify::tests::sub_zero_identity ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_basic ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_comment ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_string ... ok
[INFO] [stdout] test smtlib::parser::tests::define_fun_parameters_do_not_leak_into_global_scope ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_and_assert ... ok
[INFO] [stdout] test smtlib::parser::tests::let_bindings_do_not_leak_past_body_scope ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_declare_fun ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_define_fun ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_full_program ... ok
[INFO] [stdout] test smtlib::lexer::tests::lex_numeral_and_negation ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_let_binding ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_nested_arithmetic ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_set_logic ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_unary_minus ... ok
[INFO] [stdout] test smtlib::printer::tests::print_negative ... ok
[INFO] [stdout] test smtlib::printer::tests::print_nested ... ok
[INFO] [stdout] test smtlib::printer::tests::print_round_trip ... ok
[INFO] [stdout] test substitute::tests::substitute_preserves_unchanged ... ok
[INFO] [stdout] test symbol::tests::intern_and_resolve ... ok
[INFO] [stdout] test substitute::tests::substitute_variable ... ok
[INFO] [stdout] test smtlib::parser::tests::parse_push_pop ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 70 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_sat-a1b388a599309bb4)
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test solver::tests::case_split_callback_can_bias_the_next_decision_once ... ok
[INFO] [stdout] test solver::tests::duplicate_case_split_clause_is_not_readded ... ok
[INFO] [stdout] test solver::tests::pigeonhole_2_into_1 ... ok
[INFO] [stdout] test solver::tests::pigeonhole_3_into_2 ... ok
[INFO] [stdout] test solver::tests::case_split_clause_emits_theory_callback_event ... ok
[INFO] [stdout] test solver::tests::push_pop ... ok
[INFO] [stdout] test solver::tests::remaining_case_split_literal_defaults_to_positive_phase ... ok
[INFO] [stdout] test solver::tests::satisfiable_3sat ... ok
[INFO] [stdout] test solver::tests::three_clause_unsat ... ok
[INFO] [stdout] test solver::tests::sat_stats_snapshot_exists ... ok
[INFO] [stdout] test solver::tests::trivial_sat ... ok
[INFO] [stdout] test solver::tests::trivial_unsat ... ok
[INFO] [stdout] test solver::tests::unit_propagation ... ok
[INFO] [stdout] test probe::tests::watch_sat_probe_panics_on_violation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/kyanite_solver-c5861fb682afd0c4)
[INFO] [stdout] 
[INFO] [stdout] running 44 tests
[INFO] [stdout] test search_planner::tests::planner_chooses_other_side_if_first_is_false ... ok
[INFO] [stdout] test search_planner::tests::planner_cools_down_repeatedly_failing_families ... ok
[INFO] [stdout] test search_planner::tests::planner_falls_back_to_cooled_down_family_when_it_is_the_only_choice ... ok
[INFO] [stdout] test search_planner::tests::planner_penalizes_repeated_split_families ... ok
[INFO] [stdout] test search_planner::tests::planner_keeps_only_one_pending_split_per_family ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_first_undef_split_literal ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_open_literal_from_existing_split_clause ... ok
[INFO] [stdout] test search_planner::tests::planner_prefers_higher_scored_split ... ok
[INFO] [stdout] test search_planner::tests::planner_reports_suppressed_families_after_configured_threshold ... ok
[INFO] [stdout] test search_planner::tests::planner_resurfaces_active_split_after_backtrack_undoes_decision ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_fully_assigned_splits ... ok
[INFO] [stdout] test search_planner::tests::planner_skips_cooled_existing_family_when_another_open_family_exists ... ok
[INFO] [stdout] test solver::tests::coef_size_problem004_default_config_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_or_presolve_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_with_bland_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_default_without_cuts_with_first_fractional_is_sat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_small_config_is_not_unsat ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::coef_size_problem004_small_config_model_satisfies_benchmark ... ignored, returns Unknown with phase 2 multi-stage check loop
[INFO] [stdout] test solver::tests::diagnose_problem003_bound_flow ... ignored, diagnostic trace for problem003 bound flow
[INFO] [stdout] test solver::tests::diagnose_problem003_sat_branch_closure ... ignored, diagnostic trace for problem003 SAT branch closure
[INFO] [stdout] test solver::tests::diagnose_problem003_sat_branch_closure_deeper ... ignored, deeper diagnostic trace for problem003 SAT branch closure
[INFO] [stdout] test solver::tests::bridge_probe_captures_final_check_phases ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_conflict_on_unsat ... ok
[INFO] [stdout] test solver::tests::bridge_probe_captures_atom_dispatch ... ok
[INFO] [stdout] test solver::tests::problem003_bounded_search_uses_planner_guidance ... ignored, assertive regression for planner-guided problem003 search
[INFO] [stdout] test solver::tests::problem003_expanded_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test solver::tests::problem003_unsat ... ignored, solver returns Unknown on integer-infeasible LP-feasible problem — needs deeper B&B
[INFO] [stdout] test solver::tests::disjunction ... ok
[INFO] [stdout] test solver::tests::boolean_and_theory ... ok
[INFO] [stdout] test solver::tests::simple_sat ... ok
[INFO] [stdout] test solver::tests::simple_integer_infeasible ... ok
[INFO] [stdout] test solver::tests::euf_congruence ... ok
[INFO] [stdout] test solver::tests::simple_unsat ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_func_arith_unsat ... ok
[INFO] [stdout] test solver::tests::from_smtlib_parser ... ok
[INFO] [stdout] test solver::tests::bridge_probe_final_check_sat_path ... ok
[INFO] [stdout] test solver::tests::diagnose_uflia_congruence_unsat ... ok
[INFO] [stdout] test theory_bridge::tests::bridge_next_decision_uses_existing_open_split_literal ... ok
[INFO] [stdout] test solver::tests::watch_probe_can_accumulate_state ... ok
[INFO] [stdout] test theory_bridge::tests::euf_derived_equalities_include_full_reason_chain ... ok
[INFO] [stdout] test theory_bridge::tests::split_prefers_missing_lower_bound_side_first ... ok
[INFO] [stdout] test solver::tests::incremental_push_pop ... ok
[INFO] [stdout] test solver::tests::problem003_lia_only ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 31 passed; 0 failed; 13 ignored; 0 measured; 0 filtered out; finished in 1.53s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/smtcomp.rs (/opt/rustwide/target/debug/deps/smtcomp-7f28690212fda77f)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test qf_lia_disjunction_sat ... ok
[INFO] [stdout] test qf_lia_div_unsat ... ok
[INFO] [stdout] test qf_lia_incremental_push_pop ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_unsat ... ok
[INFO] [stdout] test qf_lia_disjunction_unsat ... ok
[INFO] [stdout] test qf_lia_linear_combo_unsat ... ok
[INFO] [stdout] test qf_lia_large_coefficients_unsat ... ok
[INFO] [stdout] test qf_lia_multi_var_unsat ... ok
[INFO] [stdout] test qf_lia_tight_bounds_unsat ... ok
[INFO] [stdout] test qf_lia_two_var_eq_unsat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_unsat ... ok
[INFO] [stdout] test qf_lia_mod_sat ... ok
[INFO] [stdout] test qf_lia_div_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_sat ... ok
[INFO] [stdout] test qf_lia_scaled_eq_unsat ... ok
[INFO] [stdout] test qf_lia_mod_unsat ... ok
[INFO] [stdout] test qf_lia_branch_and_cut_sat ... ok
[INFO] [stdout] test qf_uflia_diamond_unsat ... ok
[INFO] [stdout] test qf_lia_strict_ineq_sat ... ok
[INFO] [stdout] test qf_lia_equality_chain_unsat ... ok
[INFO] [stdout] test qf_uflia_func_arith_sat ... ok
[INFO] [stdout] test qf_uflia_congruence_unsat ... ok
[INFO] [stdout] test qf_uflia_nested_sat ... ok
[INFO] [stdout] test qf_uflia_transitivity_unsat ... ok
[INFO] [stdout] test qf_uflia_func_arith_unsat ... ok
[INFO] [stdout] test qf_uflia_transitivity_sat ... ok
[INFO] [stdout] test qf_lia_subtraction_sat ... ok
[INFO] [stdout] test qf_lia_large_coefficients_sat ... FAILED
[INFO] [stdout] test qf_lia_tight_bounds_sat ... FAILED
[INFO] [stdout] test qf_lia_equality_chain_sat ... FAILED
[INFO] [stdout] test qf_lia_scaled_eq_sat ... ok
[INFO] [stdout] test qf_lia_multi_var_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_large_coefficients_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_large_coefficients_sat' (164) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x () Int)
[INFO] [stdout] (declare-fun y () Int)
[INFO] [stdout] (assert (<= (+ (* 1000 x) (* 999 y)) 100000))
[INFO] [stdout] (assert (>= x 50))
[INFO] [stdout] (assert (>= y 50))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x588363b68798 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x588363b68798 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x588363b68798 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x588363b68798 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x588363b7c6ea - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x588363b7c6ea - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x588363b6cfb2 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x588363b6cfb2 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x588363b47946 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x588363b47946 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x588363b60d39 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58836394179c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x58836394179c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x588363b60ef2 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x588363b60ef2 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x588363b47a02 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x588363b3f399 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x588363b4871d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x588363b7ceac - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x588363b7cdc3 - core[5a1c3e9896636f3a]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x58836392a70f - core[5a1c3e9896636f3a]::panicking::assert_failed::<kyanite_solver[4546239aa762ce94]::solver::SolverResult, kyanite_solver[4546239aa762ce94]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x588363930259 - smtcomp[86e6b5b622bf6cec]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x588363930824 - smtcomp[86e6b5b622bf6cec]::qf_lia_large_coefficients_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:267:5
[INFO] [stdout]   23:     0x58836392f947 - smtcomp[86e6b5b622bf6cec]::qf_lia_large_coefficients_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:265:35
[INFO] [stdout]   24:     0x58836392f326 - <smtcomp[86e6b5b622bf6cec]::qf_lia_large_coefficients_sat::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58836393487b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x58836393487b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x5883639420f5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x5883639420f5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x5883639420f5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x5883639420f5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x5883639420f5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5883639420f5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x5883639420f5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x58836393cc54 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x58836393cc54 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x588363945172 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x588363945172 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x588363945172 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x588363945172 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x588363945172 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x588363945172 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x588363945172 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x588363b680ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   44:     0x588363b680ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x784c7525baa4 - <unknown>
[INFO] [stdout]   46:     0x784c752e8a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_tight_bounds_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_tight_bounds_sat' (176) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x () Int)
[INFO] [stdout] (declare-fun y () Int)
[INFO] [stdout] (declare-fun z () Int)
[INFO] [stdout] (assert (= (+ x y z) 6))
[INFO] [stdout] (assert (>= x 0))
[INFO] [stdout] (assert (>= y 0))
[INFO] [stdout] (assert (>= z 0))
[INFO] [stdout] (assert (<= x 6))
[INFO] [stdout] (assert (<= y 6))
[INFO] [stdout] (assert (<= z 6))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x588363b68798 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x588363b68798 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x588363b68798 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x588363b68798 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x588363b7c6ea - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x588363b7c6ea - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x588363b6cfb2 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x588363b6cfb2 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x588363b47946 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x588363b47946 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x588363b60d39 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58836394179c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x58836394179c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x588363b60ef2 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x588363b60ef2 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x588363b47a02 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x588363b3f399 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x588363b4871d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x588363b7ceac - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x588363b7cdc3 - core[5a1c3e9896636f3a]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x58836392a70f - core[5a1c3e9896636f3a]::panicking::assert_failed::<kyanite_solver[4546239aa762ce94]::solver::SolverResult, kyanite_solver[4546239aa762ce94]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x588363930259 - smtcomp[86e6b5b622bf6cec]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x588363930434 - smtcomp[86e6b5b622bf6cec]::qf_lia_tight_bounds_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:307:5
[INFO] [stdout]   23:     0x58836392f617 - smtcomp[86e6b5b622bf6cec]::qf_lia_tight_bounds_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:305:29
[INFO] [stdout]   24:     0x58836392eee6 - <smtcomp[86e6b5b622bf6cec]::qf_lia_tight_bounds_sat::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58836393487b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x58836393487b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x5883639420f5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x5883639420f5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x5883639420f5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x5883639420f5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x5883639420f5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5883639420f5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x5883639420f5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x58836393cc54 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x58836393cc54 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x588363945172 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x588363945172 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x588363945172 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x588363945172 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x588363945172 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x588363945172 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x588363945172 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x588363b680ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   44:     0x588363b680ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x784c7525baa4 - <unknown>
[INFO] [stdout]   46:     0x784c752e8a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- qf_lia_equality_chain_sat stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'qf_lia_equality_chain_sat' (161) panicked at kyanite-solver/tests/smtcomp.rs:59:5:
[INFO] [stdout] assertion `left == right` failed: for input:
[INFO] [stdout] (set-logic QF_LIA)
[INFO] [stdout] (declare-fun x1 () Int)
[INFO] [stdout] (declare-fun x2 () Int)
[INFO] [stdout] (declare-fun x3 () Int)
[INFO] [stdout] (assert (= x1 (+ x2 1)))
[INFO] [stdout] (assert (= x2 (+ x3 1)))
[INFO] [stdout] (assert (= x3 0))
[INFO] [stdout] (assert (>= x1 0))
[INFO] [stdout] (assert (<= x1 10))
[INFO] [stdout] (check-sat)
[INFO] [stdout] (exit)
[INFO] [stdout] 
[INFO] [stdout]   left: Unsat
[INFO] [stdout]  right: Sat
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x588363b68798 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x588363b68798 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x588363b68798 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x588363b68798 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x588363b7c6ea - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x588363b7c6ea - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x588363b6cfb2 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x588363b6cfb2 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x588363b47946 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x588363b47946 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x588363b60d39 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58836394179c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x58836394179c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x588363b60ef2 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x588363b60ef2 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x588363b47a02 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x588363b3f399 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x588363b4871d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x588363b7ceac - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x588363b7cdc3 - core[5a1c3e9896636f3a]::panicking::assert_failed_inner
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:434:23
[INFO] [stdout]   20:     0x58836392a70f - core[5a1c3e9896636f3a]::panicking::assert_failed::<kyanite_solver[4546239aa762ce94]::solver::SolverResult, kyanite_solver[4546239aa762ce94]::solver::SolverResult>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:394:5
[INFO] [stdout]   21:     0x588363930259 - smtcomp[86e6b5b622bf6cec]::expect
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:59:5
[INFO] [stdout]   22:     0x588363930514 - smtcomp[86e6b5b622bf6cec]::qf_lia_equality_chain_sat
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:116:5
[INFO] [stdout]   23:     0x58836392f767 - smtcomp[86e6b5b622bf6cec]::qf_lia_equality_chain_sat::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/kyanite-solver/tests/smtcomp.rs:114:31
[INFO] [stdout]   24:     0x58836392f0a6 - <smtcomp[86e6b5b622bf6cec]::qf_lia_equality_chain_sat::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58836393487b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x58836393487b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   27:     0x5883639420f5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   28:     0x5883639420f5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   29:     0x5883639420f5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x5883639420f5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x5883639420f5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5883639420f5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   33:     0x5883639420f5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   34:     0x58836393cc54 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   35:     0x58836393cc54 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   36:     0x588363945172 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   37:     0x588363945172 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   38:     0x588363945172 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x588363945172 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x588363945172 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x588363945172 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   42:     0x588363945172 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x588363b680ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   44:     0x588363b680ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x784c7525baa4 - <unknown>
[INFO] [stdout]   46:     0x784c752e8a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     qf_lia_equality_chain_sat
[INFO] [stdout]     qf_lia_large_coefficients_sat
[INFO] [stdout]     qf_lia_tight_bounds_sat
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 29 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p kyanite-solver --test smtcomp`
[INFO] running `Command { std: "docker" "inspect" "bcce145b772a691c2de585b5e032fed00eab4be58c201bdd068f8adb149c49ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bcce145b772a691c2de585b5e032fed00eab4be58c201bdd068f8adb149c49ad", kill_on_drop: false }`
[INFO] [stdout] bcce145b772a691c2de585b5e032fed00eab4be58c201bdd068f8adb149c49ad
